state invariant中文什么意思

下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

After summarizing the methods and techniques of efsm - based testing , this paper focuses on the problems of oracle and automatic test sequences generation from uml state diagrams . to deal with the problem of state oracle , the state invariant is introduced to identify state . with the purpose of shortening the length of the test sequences and trimming the redundant test sequences , the algorithm of generating test sequences , which satisfy the coverage metric , is amended
本文在總結(jié)類的基于狀態(tài)測(cè)試的理論基礎(chǔ)、現(xiàn)有的測(cè)試用例生成方法的基礎(chǔ)上，結(jié)合uml的狀態(tài)圖，對(duì)測(cè)試用例自動(dòng)生成進(jìn)行了研究，重點(diǎn)放在狀態(tài)預(yù)測(cè)、消息序列生成上：對(duì)狀態(tài)的預(yù)測(cè)引入了狀態(tài)不變量；生成測(cè)試消息序列時(shí)對(duì)算法進(jìn)行優(yōu)化，以生成路徑盡可能短的符合覆蓋標(biāo)準(zhǔn)的測(cè)試消息序列。

√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片